automated proof
[计] 自动验证
热门查询
- washerman n. 男洗衣工人
- Gaskell 加斯克尔(姓氏)
- Albania n. 阿尔巴尼亚（位于欧洲）
- birefringence n. [光] 双折射
- pippin n. 优秀的东西
- aioli n. 蒜泥蛋黄酱（一种调味剂）
- lipless adj. 没有嘴唇的；（器皿等）无嘴的
- lameness n. 跛；残废；僵而疼痛的
- altimeter n. 测高仪，高度计
- immune n. 免疫者；免除者 adj. 免疫的；免于……的，免除的
- Lacroix n. (Lacroix)人名；(法、西)拉克鲁瓦
- clanging adj. 发出叮当声的 v. 发铿锵声（clang的现在分词）
- acclimatisation n. 适应性；服水土
- Rioja n. （西班牙）里奥哈葡萄酒
- slobbering n. 垂涎
- helm n. 舵；舵柄；领导地位；驾驶盘 vt. 指挥；给...掌舵 n. (Helm)人名；(英、瑞典)赫尔姆；(法)埃尔姆；(德、匈、捷)黑尔姆
- conglomeration n. 聚集（物）；团块；凝聚；混合物
- iniquity n. 邪恶；不公正
- burdened v. 把重担加于；劳累（burden的过去分词） adj. 负荷的
- westernmost adj. 最西的
